Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
961	Big Data Why Big Data? The World Economic Forum convened in Switzerland in January, 2012 highlighted big data as a new economic Add to Reading List Source URL: www.americangeosciences.org Language: English - Date: 2014-03-25 08:50:14 Information technology management Formal sciences Database management systems Analytics Data warehouse Extract transform load Database Data integration Big data Data management Technology Business intelligence
962	Formal Planning Optimizes BYOE Opportunities Univ er s it y of Fl or id a Case Study Add to Reading List Source URL: net.educause.edu Language: English - Date: 2013-05-29 14:23:08 Mobile Web Mobile Consumerization University of Florida Cisco Systems Wireless security Technology Alachua County Florida Florida
963	(Agency Name – Project Name) Project Management Plan Add to Reading List Source URL: www.epmo.scio.nc.gov Language: English - Date: 2010-03-24 06:51:37 Management Project management Software testing Software engineering Formal methods Software development process Test strategy Change management Systems engineering process Systems engineering Business Software development
964	Bootstrapping Privacy Compliance in Big Data Systems Shayak Sen∗ , Saikat Guha† , Anupam Datta∗ , Sriram K. Rajamani† , Janice Tsai‡ and Jeannette M. Wing‡ ∗ Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-05-01 09:38:10 Software engineering Lattice theory Data mining Formal concept analysis Machine learning Ontology Attribute grammar Graph EXPRESS Data modeling Mathematics Data management
965	Efficient Proving for Practical Distributed Access-Control Systems∗ Lujo Bauer† , Scott Garriss† , and Michael K. Reiter‡ Abstract. We present a new technique for generating a formal proof that an access request Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:10 Mathematical logic Expert systems Logic in computer science Reasoning Logic programming Mathematical proof NP Credential Backward chaining Logic Mathematics Knowledge
966	Richmond Journal of Law & Technology Volume XIX, Issue 3 DATABASES LIE! SUCCESSFULLY MANAGING STRUCTURED DATA, THE OFT-OVERLOOKED ESI Add to Reading List Source URL: jolt.richmond.edu Language: English - Date: 2013-04-02 11:16:21 Information Data Formal sciences Civil procedure Electronic discovery Database Unstructured data Analytics Information discovery Data management Database management systems Business intelligence
967	Project Closeout Report Presented to the IT Committee August 16, 2011 Project Name: Minimum Data Set Agency: Department of Human Services (DHS) Business Unit/Program Area: Human Resources/Department-wide Project Sponsor: Add to Reading List Source URL: www.nd.gov Language: English - Date: 2011-08-02 19:01:23 Methodology Software development process Software engineering Minimum Data Set Systems engineering process Formal methods Health informatics Science
968	4.9 Editorials.indd NS Colin.indd Add to Reading List Source URL: www.nature.com Language: English - Date: 2008-09-03 12:46:15 Database management systems Database theory Information technology management Emerging technologies Data analysis Data mining Big data Database Data management Technology Formal sciences
969	Probabilistic Approaches in Ontologies: Joining Semantics and Uncertainty for AUV Persistent Autonomy F. Maurelli, Z. A. Saigol, G. Papadimitriou, T. Larkworthy, V. De Carolis, D.M. Lane Ocean Systems Laboratory School o Add to Reading List Source URL: osl.eps.hw.ac.uk Language: English - Date: 2014-04-17 08:56:24 Information science Semantic Web Knowledge Technical communication Knowledge representation Upper ontology Web Ontology Language Formal ontology Probabilistic logic Ontology Information Science
970	EXECUTIVE SUMMARY: EARTHCUBE REALTIME WORKSHOP RESULTS June 17 and 18th, 2013 Boulder Colorado Organizing Committee: Mike Daniels, NCAR (Chair) V. Chandrasekar, Colorado State University Add to Reading List Source URL: workspace.earthcube.org Language: English - Date: 2013-12-03 12:41:42 Database theory Science Formal sciences National Center for Atmospheric Research Cyberinfrastructure Big data Database Data quality Technology Data management Database management systems

UPDATE